#!/bin/sh

GAP_EXE=$GAP_DIR
if [ "x$GAP_DIR" = "x" ]; then
  GAP_DIR=$(cd "@abs_top_srcdir@" && pwd)
  GAP_EXE="@abs_top_builddir@"
fi

exec "$GAP_EXE/gap" -l "$GAP_DIR" "$@"
